Approche à contraintes pour la sélection de Covering Array. (Covering Array generation using constraint programming)

نویسنده

  • Aymeric Hervieu
چکیده

Nowadays, software companies develop and maintain their software for several clients.Consequently, these applications have to be integrated in heterogenous context andadapt to the user requriements. All these products are sharing commonalities but alsodiffer in certain point due to business specific constraints. Configurable systems facili-tate the creation of these product families. With them it is possible to create a softwareproduct by selecting the features that will be integrated, thus, the creation of a productis greatly simplified. However, the validation of these systems is a complex task. A confi-gurable system can generate millions of possible configurations. Thus, validation processdoesn’t consist in validating a single product but in validating a set of products. Thislarge number of configurations is a problem for those responsible of the validation. Inthis thesis we propose three contributions that aim to solve issues raised by variabilityduring test projects :– A detailled presentation of two industrial test projects coping tat variaibility issues– An original methodology based on constraint programming techniques to selecttest configurations that respect pairwise criteria from a feature model– An exhaustive comparison of this approach with the existing approches and adetailled study of the application of a such techniques on the two industrialsprojects.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comparaison de BTD avec des stratégies d ’ exploration “ intelligentes ” pour une sélection automatique d ’ algorithmes

Nous considérons un solveur générique de problèmes de satisfaction de contraintes (CSP) binaires, paramétré par des choix de haut niveau, à savoir le type de recherche, le niveau de propagation de contraintes et l’heuristique de choix de variables. Nous comparons expérimentalement 18 configurations de ce solveur générique sur plus d’un millier d’instances. Un premier but est de comprendre la co...

متن کامل

On Testing Constraint Programs

The success of several constraint-based modeling languages such as OPL, ZINC, or COMET, appeals for better software engineering practices, particularly in the testing phase. This paper introduces a testing framework enabling automated test case generation for constraint programming. We propose a general framework of constraint program development which supposes that a first declarative and simp...

متن کامل

A Constraint Satisfaction based Approach to View Selection in a Distributed Context

Les vues matérialisées sont utilisées dans les systèmes de gestion de bases de données commercialisés pour accélérer le temps de traitement des requêtes. Cette technique est aussi très utile dans les entrepôts de données pour améliorer les performances des requêtes décisionnelles. Cependant, le problème de sélection de vues a été étudié surtout dans un contexte centralisé. Dans cet article, nou...

متن کامل

Allier CSPs et motifs locaux pour la découverte de motifs sous contraintes n-aires

Résumé. Dans cet article, nous étudions la relation entre la découverte de motifs sous contraintes et les CSPs (Constraint Satisfaction Problems) afin de définir des contraintes de plus haut niveau qui sont précieuses pour mener à bien des tâches de fouille de données. Pour cela, nous proposons une approche de modélisation et d’extraction de motifs sous contraintes n-aires exploitant les motifs...

متن کامل

Sélection topologique de variables dans un contexte de discrimination

Résumé. En apprentissage automatique, la présence d’un grand nombre de variables explicatives conduit à une plus grande complexité des algorithmes et à une forte dégradation des performances des modèles de prédiction. Pour cela, une sélection d’un sous-ensemble optimal discriminant de ces variables s’avère nécessaire. Dans cet article, une approche topologique est proposée pour la sélection de ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013